$\forall$$x$, $y$:$\mathbb{N}$. Dec($x$ $=$ $y$)